Chair Knowledge against Poverty – Academic Year 2008-2009

Research Student Monitoring Group Report 4 , academic year 2007 / 2008

Automatic Programming (AP) [15] is an ambitious goal that has been greedily sought since the 1950s. During the history of computer science, the term AP has been used for different concepts. Here, with the term AP we define the automation of implementing software given a starting formal specification. In the past, the work about AP was based on transformations (e.g., [11]), in which formal rules...

Student Monitoring Group Report 5 , academic year 2007 / 2008

Software Testing is used to find the presence of bugs in computer programs [20]. If no bug is found, testing cannot guarantee that the software is bug-free. However, testing can be used to increase our confidence in the software reliability. Unfortunately, testing is expensive, time consuming and tedious. It is estimated that testing requires around 50% of the total cost of software development...

CS261 - Optimization Paradigms Lecture Notes for 2009-2010 Academic Year

Given a connected graph G = (V, E) with non-negative edge costs, and a set of " special " nodes S ⊂ V , a subgraph of G is a Steiner tree, if it is a tree that spans (connects) all the (" special ") nodes in S. The Steiner Tree problem is to find a Steiner Tree of minimum weight (cost). Steiner Tree is an important NP-hard problem that is often encountered in practice. Examples include design o...

From the ICELW'2008 Conference Chair

Chair Report for the Academic Affairs Committee

According to the Bylaws of the AACP, the Academic Affairs Committee shall consider any matter relating to the conduct of pharmaceutical education to be within its purview, including but not limited to curriculum, resources, faculty, and students. The committee also considers matters extending beyond pharmaceutical education to higher education, especially those elements concerned with health pr...